Doing a Pull request on github as it was difficult to do so on the terminal