minor formatting in READE