Install doc fixes

r? anyone

Some install doc fixes from @vfazio

Should I squash these down to a single commit?