added ModuleCollection for serialization