Small migration docs fix for Migrate-CPTUI.php