fixing js highlighting