Issue #174: some documentation