Fix minor typo in doc