put typeset back