Fix github URL for the repository.

Closes #4