Fixed bug which prevented CSS highlighting from working