Fix a bug  when serializing an Allocate action