dune-sendmsg: bug corrected.