fixed some bugs in the handling of game properties in script files