Fix texi file, and update it further