Fix typos in Mangel notes