Add missing endhighlight tag