Three small typos