bugfix in randomized input