Minor tweak for the standard library.