Minor corrections and updated repos.json