Fix ISAtab files, which now read in Risa