Comment on Typo in comment in default.settings.php