minor change to IsBst