documentation slightly extended