[autotex] Code quality improvements