David corrects a typo