Fix #25: String.replace() replaces only first occurrence.