Typeset the modal a bit more