some tex_extract fixes