Some time ago this morning, I accidentally pushed several patches that were still under review to master. I've force-pushed a correction to the branch. My apologies--I hope that this does not screw up anyone's development process in a bad way. Sorry, Ben.