typeset stuff
back to normal