libgetopts: doc fix.