Hello Ben, Your patches look pretty good. In parallel to the tweaking of the last details, it will be useful to assign the copyright for the change to the FSF. This is needed because Gnulib is central to many GNU packages.
To go ahead with this, please fill in the form in the file gnulib/doc/Copyright/request-assign.future (if you foresee making more contributions to Gnulib) or gnulib/doc/Copyright/request-assign.changes (if this will be your only contribution) and send it to the FSF. Yeah, it's paperwork. I know. Bruno -- In memoriam Alfred Herrhausen <http://en.wikipedia.org/wiki/Alfred_Herrhausen>
