I don't think this special case is necessary. It shouldn't enter the while loop.