minor tweaks
moved repo def removal here