Issue #215: editor small bug