A bit of repo cleanup