EIS income tax relief

My client has shares in a company since 2012 (worth £6,440) in which he claimed the EIS income tax relief of £1,932. In 2018/19 the company went bust and shares are now worth nil. I want to claim income tax relief under s131 and it looks like a client can claim £4,508. Does anyone know how correctly to show this on the tax return? I'm using the CCH and want to check if I am doing it right. Thanks