Adapt documentation following rename