This case is already handled by the while and can be removed.