fix previous mangled git commit