fix a typo in docs