Some minor adjustments of header copyright text