I hadn't looked at the stdlib on this, but yeah you're right.  Let's leave it as-is.