Did the bus monitor do the right thing?