Yes, you are right. It should not take such close reading of the code though to make sure that this condition can not occur.