#3: Fix typos