[autotex] Cleanups