Actually, that clause should be completely unnecessary, because counter can't be 0 when this line is reached.