Same here. There was a commit for that. Now this change is mixed up with unrelated changes. It make things more complex when we look at the history to find out why something was changed.