Uncommented ResolverConfig and fixed double top bars