Doesn’t python3 do away with old-style formatting?