Update because texht option is obsolete