no need for ``.readlines()``