fix a typo in stdlib doc