fixed compile errors in proposal