fix a highlighting bug