Minor fix to copyright notice