Issue #142: added documentation