a correction to property type for user