Made a manual change on github, because I couldn't get the push to work right.