Small fixes to save your life in the editors.