Fix stray <pre> in docs