More typo fixes in Alex's post