Update texi file and remove duplicate control