Fix braces problem in texi file