Fixed switching between repos on root page, related to issue #473