refine typeset