Jakie świadectwo pracy wydać pracownikowi, jeżeli sąd pracy uznał zwolnienie dyscyplinarne za bezzasadne?

Rozwiązaliśmy z pracownikiem umowę o pracę dyscyplinarnie. Jednak sąd pracy uznał, że zwolnienie było bezzasadne i zasądził mu 3-miesięczne odszkodowanie. W tej sytuacji pracownik zwrócił się do nas o wydanie nowego świadectwa pracy. Czy musimy to zrobić? Może wystarczy jedynie adnotacja o orzeczeniu sądu na dotychczas wydanym świadectwie?