Fixes to documentation for issue #129.