Fix yet more TDD typos