Fix typos

With this, I got up to the start of ## Test Driven Implementation