finished white-space parsing in XML deserialization, everything seems to work