fixed: String.format()