countdown: use a more preferable formatter