Issue #416 fixing documentation