String.format implementation, notes added