Issue #433, fixing documentation