Is this double empty line necessary?