Minor typos to code in proposal