That would be sufficient if get_config() is used both externally and internally as the accessor for config. Since this is most likely the case, I'll take your suggestion.