Changed formatting in the terminal example