mainly formatting, copyright update