Fixed documentation error reported in issue #1