Fix a possible issue in the installation docs (fixes #86)