Fix an issue with the JS highlighting