Fix a bug in JS syntax highlighting