Fix wrong .tix name