Fix some typos in prop 280

Please merge my branch prop280-typos. (Or give me torspec commit access :-)