Fix escaped characters' highlighting

This closes GH #17