I guess we decided not to do this because messages are correctly deserialized at the client level. (In other words, it works without doing this, so if we fix this now, we might have to fix the client also). So we decided to do that in a completely separate pull request which changes both client and server for the sake of clarity. (It wont be 'fixing' anything, but it will make the code look even)