some minor change to default_controller.php