typing error in routes.php