Format for 80 chars wide

Let's use this as our convention for markdown.