Tweak Installation section in documentation