-Reformatted header comments to 80 characters width so that it is easier to read when there is no word wrap