Removing buggy jQuery syntax highlighter