Adapt the documentation as well.