fixing a typo in the documentation