Fix typos in formal, finish conclusion