a bug in the highlighter. plus a reason for capturing whitespaces again (tokenizer needs a with-ws flags for the produced tokens to pass them to the highlighter)