Fix buggy reference to stdlib random module