Doc fixes re. issue #76