Fix typo in editor. Fixes #205