clean up semtex writeup