re-added mistakenly removed copyright notices