player: proper format for duration string