Fix style of random_map_extra().