bugfix for henshin editor