fixed a highlighting issue