I think these three lines are not needed any more, since the indent was ended on line 75