Fixing TDD example formatting