Small bugfix in randomatic