I will create a new pull request. With a proper change history.