Tidy headers, copyright message, etc.