Re: Renaming default_pool to "Default Pool"