Slight modifications/bugfixes to repos