It really irks me when people forget to capitalize Alonzo Church's last name.
Fixed some more typos.
Merge pull request #34 from pbl64k/hof-srt

Fixed some minor typos in HOF section subtitles.