A few changes to formatter and serialized-property.