Fixes #3127: added more doc [skip ci]