fix code example; edits