repo-fixing: fixup #1.