small editor tweak