Documentation fix for issue #191.