documentation, fixes #10