Correction in set_random method in class controller_2048