Fix the top-level comments, and fix some 80-column violations.