Please delete this pull request

I screwed up using git and forgot to make a new branch, so I had to fix that really quick.  Examine #1506 instead.