Some editor changes