Another highlighting fix.