[fixup] Doc fix