minor fixups for repo change