Update documentation

A couple missing steps in the installation section.