Correct a mistyping in the documentation