Ok. This was a change suggested by lint, but I can revert it.