Minor simplification of ConfigManager ExecuteString