The xsd mentions no default value, and DEFAULT_HOST is nullable without a default, so this might be undefined