String.format and closure