update docs to comply with fix for issue #173