minor typo correction in docs