My bad.  Uploaded a patch that fixes this.