Fix wrong namespace on run.php