editor fixes

Fixed from our editor.