fix github urls

just a minor fix