typo fixed in prod.php.dist