Minor fix to make it work with the new compressed TG format.