minor API-doc improvement.