updating documentation relevant to fix of issue #3