My point being that you might want to add a comment to that effect here because otherwise it might seem that the entire else clause can be deleted.