Minor fixes. More documentation