Minor efficiency improvements to .dat file reading (#10)