diff --git a/doc/ecos.texi b/doc/ecos.texi
index bdd38763..00fad740 100644
--- a/doc/ecos.texi
+++ b/doc/ecos.texi
@@ -312,12 +312,7 @@ YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
 PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
 POSSIBILITY OF SUCH DAMAGES.
 
-@iftex
-@heading ECOS EXTENSION
-@end iftex
-@ifinfo
-@center ECOS EXTENSION
-@end ifinfo
+@center @b{ECOS EXTENSION}
 
 
 @item