Editor: minor bugfix