Ah, that makes a lot of sense. I thought it had just been coding laziness!