fixing TDD random tests