small amend for tribool in bidding.cpp