#133: doc fix