bugfix on Serialization.x10