Thanks for reporting that bug in the gzip documentation. I finally got 
around to fixing it by installing the attached patch, which should 
appear in the next gzip release. This patch fixes some nearby 
documentation problems too.