Fix bug in HKT SDK to pass new test case