fixed some typos in proposition