Minor bugs in the editor removed.