renaming readInto to readFrom in the case of exporting