(of course if this change is made, `sendTypeMessage` would be obsolete)