They are buggy, see the my second commit. It corrects the highlighting.