syntactic edits by David