Add copyrights, fix whitespace.