Fix some copyrights, formatting