Docs: follow up commit to fix include error