Argh--bad default editor setting.