Fix documentation mixup