Fix indentation error in random_fml().

Found by Bill.