#163: documentation added