Fix #155: bug in tokenizer for comments