Cleans up Header of wb_arbiter_intercon