Weird. I thought I'd seen it. But of course you are right. 

I can see how one should probably keep PRs quite small in size to avoid the chance of silly mistakes preventing otherwise good PRs to make it through. Or is it perhaps normal to submit a big one, work on the issues and resubmit a similarly sized one a few times, until everything is good?