Small correction in the autodoc.