bugfix in serialization test