My pull request

I am not familiar with git but can you not merge in the commit from nov 26th? It seems redundant now.