Fix typo in TDD post