Thanks for checking. I installed the attached into Gnulib master. The "(tiny 
change)" is because the patch is small enough that we don't need to worry about 
copyright papers.