back to old-style string-formatting