Fix bug (stored repository name was not displayed)