[autotex] Ups, last commit was buggy