minor syntactic edits