Small typo fix in docs