yotam: minor changes in documentation and installation.