Make whitespace highlighting work sanely in all modes