Quick patch for weird serialization issue