small bug fix in SDK