Fixing documentation bug #1093.