Fixing a typo in docs