Minor change to editor