- Some typos in the documentation were fixed.