A couple of textual bug fixes related to repo-override command