Fixed for latest HERMIT from GitHub (HermitName)