Improve formatting in Idris client