Remove duplicate Copyright sign from HeaderDoc.