Corrected typos in Tyler's post