attached another patch replacing the former, due to a bug at texi