Fixed typos in proposal