Documentation fixes

Fixing bug #3