Small fix for serialization.