two minor typos