Update texinfo a little

Signed-off-by: Pablo Lezaeta <prflr88@gmail.com>