Very minor changes to installation page