Small fixes. Docs improvements.