Minor syntax edits