I have never made a pull request on github before, so I plead ignorance if I am doing anything incorrectly.