#18: Fixing typos