Index: scripts/mkderivedproperties.pl =================================================================== --- scripts/mkderivedproperties.pl (revision 15298) +++ scripts/mkderivedproperties.pl (working copy) @@ -179,7 +179,8 @@ print<