minor: python 2.x compatibile format strings