Fix unclosed <pre> tag in the documentation