fix #12494 in the migration docs