Doc fixes regarding Issue #78