Whoops.  Note to self, don't generate pull requests at 6am.