Issue #146: fix get-repo-instructions

Issuing pull request:  there don't seem to be any more install issues.