Some minor modifications in Serialize.h