Minor fixes. More documentation.