Add closing <code> tag.

Earlier PR omitted `</code>`. Thanks to @ivantsepp for spotting.