Should be an empty line after `</pre>`