fix issue with highlighting after <?php ?> blocks. fixes #11