semtex6 is broken