Got rid of either typos or whatever, that I must have inadvertently
added. Now same as master. Should get rid of the file in the pull request.