Ceasing to be a substantial holder from WMI