fix chris' highlight function declarion, which I broke