minor stuff in editor