Various fixes. Installation instructions updated.