fixed an import in the doc
sad but true