(style) Please avoid ASCII art in headers.