More INSTALLATION formatting