Improve phpdocs on Settings.php