fixes

hopefully fixing a bug which made the HRE's flag wrong.