Minor change in editor