a few editor fixes