fix tex snafu