Document #3580
Fix doc string typo.