Update IXT, fix bugs