That was before the cap raise (effective date 16th sep 2020) so will be less now. unless they somehow jumped in.