fix bug in a migrated derived property