Changed old %-format to new-style format.