Never mind; string.Replace is actually fixed now...