One little modification on formatting