Hi Joseph, thanks for your prompt answer, and I am sure you'll find a good solution. Considering that listings is quite common (in some areas I guess) a fix is probably highly appreciated!
Thanks Norbert > I guess we'll have to go back to some non-public version of \space, but > that redefinition is pretty risky (it's widely known that \space is an > macro which expand to an explicit space). -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13