Fix minor typo in documentation