Small changes to Session2 and check_repo