fix missing endhighlight tag