I was referring to something else. I agree with the change suggested by @nschonni.