This looks like another rather important user-visible change that just sneaked in?