Logically these are the same thing, but I agree it is more difficult to understand, so I'm changing it.