fix property-related types