Doc fix portion of Github issue #216