fixed bug in DerivedProperties