It really irks me when people forget to capitalize Alonzo Church's last name.
Fixed some more typos.