fix round_down