fix github url, argh.