Documentation updates for issue #40