Are NPCs in this dungeon supposed to have 0.5 cast-time Heals, that also heal them to nearly full HP? Is this supposedly a bug, feature, or both?