small fix in battlescript