Adds lacking documentation, and fixes issue #9