Copyright-and-CC: few minor edits