Fixes #1514: added more doc.