use proper message encoding