fix uses of brvbar with vbar