I think the bug with the binary search demo is fixed