Tweak installation section in documentation