Made read_header work even if read_image has not yet been run