few minor syntactical edits