Slight editor changes.