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