Fix documentation warnings (c.f. #135)