Issue #231 doc fixes