Fix quick typo in documentation