Add closing <code> tag.

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