a more BMS friendly corrections.tex