Fix another b3 bug