Documentation: Some corrections to installation instructions