String.quick_change() fixed to cope with string shrinking then growing!