fixed bugs in arbiter