I guess this line here fixed a small mistake from before, but I don't think it was worth another PR since it was not a problem until now.