The change shouldn't be necessary in this pull request.

@ranjaykrishna there's no need to send a separate pull request though, you can revert this change and amend you commit, then push force to your remote branch and github will update this pull request properly. Thanks!