some formatting in rotonto and rot.proc