Some editor fixes.

Closes gh-39.