Fixed some typos in converting the demo from coffee