small bugfix regarding property window