I've made # into a delimiter and reverted from <interlexeme space> as a delimiter to <whitespace>. The reason we switched to <interlexeme space> before was to allow s-expression and block comments to serve as delimiters; this is now accomplished more simply with # as a delimiter, and without the problem caused by the fact that <interlexeme space> can be empty. Kent