Fix stray typo in documentation