fix javascript highlight