Fix a typo in the name of the default domain level