Update highlight.php

sorry