added serialization extensions