As we have moved the repository at github, we should update all mentions to use new url. Also a small typo was fixed.
Code and docs have diverged a bit. We therefore need to update them.