Typo fixes in Alex's post