[tex] minor