Some micro-optimisations for Config