[doc] Correctly closes the highlighting block