Minor repo fixes.