tokenizer: slightly better line-counting