seemingly successful reading in of data from file