Removing extra endhighlight.

Contributed by @pat