ERTE devolucion

Buenas tardes, tengo un familiar que ha cobrado 4000€ de mas de un ERTE en el que estuvo, hoy ha recibido una carta de hacienda solicitándole que devuelva lo cobrado de mas y lo ha devuelto, como se declara esto ?, en los datos fiscales aparece que recibió 6000€ del SEPE, al haber devuelto la cantidad reclamada, declara los 6000 o los 2000 que realmente ha cobrado
gracias y saludos.