Very small change to make the intent of some code more obvious