small syntax edits