Fixing typos detected by James