Correct some things in proposal