Thanks to Scott for pointing this out to me (I got his mail and figured out this change before seeing the discussion on tech-kern) and to Charles for the initial explanation.