Fix copyright; Fix undefined notice