Two small typos