Quick fix in paths.php