clean up formatting in INSTALLATION.md