fixed texinfo table in docs
fixed texi table in docs