improved documentation of fix for issue #710