Fix documentation error