DOC: Fix compilation error in migration guide