Use positional for str.format(). Fix #8277