CHANGE: now uses util.format