fix erroneous highlighting of `white-space` properly