Extremely minor API inconsistency fix