fixup for HEAD~