Fix in EdmTypeSerializer (github issue 15).