New-style string formatting breaks in Python 2.5, so we have to use the traditional style (`"%s"`) until we decide to drop 2.5 compatibility...