Could be done once above line 81. Currently it can sometimes be done twice, here and on line 85.