Some smaller copyright fixes