auteurstool: bugfix Config.php