Small change to preferences.php