Issue #533, fixing documentation