Fixup installation instructions