Fix bug in post_recv/post_send.