I tried to find and revert that. As this is my first pull request ever using Git(Hub) I used Githubs online editor which has some text formatting options like tab size etc. If I knew how to revert only that line I would gladly do so.