use newstyle string formatting