[PATCH] Fix random_map