Minor stdlib optimization