An amended pull request would nonetheless be a welcome, clean, wonderful thing. :)