Installation page and minor formatting