tidied typesetting