sourcetokenizer bugfixes