Fix trivial typo in docs