Issue #338: improved documentation a bit more