Issue #19: updated docs