Fixed a minor editor bug.