new rev3057 of texi