Add missing (deleted by git) copyright