This typo is very old (check the git history) but I agree with @sag47 that we might as well correct it at this time.