Fix lost changes... argh github editor!