semtex + fixes