Redoing commit, as git is uncooperative today (grr...)