Just two small typos