small bugfix in windows version