bugfix in input generation for randomized testing