wbmv7.tex typos