Fix a typo in the API documentation (introduced by #577)