String tokenizer bugfix.