README.md typo fixes, as pointed out by Sean Horn