Cleaned up language and fixed some typos of ex 1.4.