Improved documentation. Minor erratum.