Update config.inc.php

Minor cosmetics