Adjust to fit slight changes of GitHub site.