Formatting in readline