Cosmetic change in red_get_val