minor API-doc fix.