Make section separator comments 80 chars, not 70.