fixing type-checking on the file read test