doc patch to reflect the fix for issue #16