docs fix with respect to #28