It’s the other way round. For 30 years he has happily believed that he received 16k shares. Now he learns that he was owed another 7k at the time but neither party in the transaction noticed and he wants them to pay the difference now.