Fix documentation error (issue #2)