#133: more documentation