String.replaceAll with closure: one more formatting problem