diss: more minor typos