Fix some warnings
Update texi file