fixed small bugs in test-case generators.