Fix a typo in one of Galaxy's config options