two small typos