Minor typos in Mahajan-Vinay proof