minor syntax edits