Add copyright (#3)