On the RRC worksheet you enter how much he already received, if he's entitled to more based on the 2020 return, it will get added.
