Fixed a highlight issue in the html output.