update brammat.v