Ah. That makes sense. I recommend adding a comment to that effect so that no one thinks it is unneeded code and deletes it.