These changes don't seem pertinent to the rest of the pull request.