Fix mistaken replacement