Correct code for reading from gzipped file.