Corrected missing endhighlight