Update core/ctrl.php