Minor change in documentation (installman)