debugging the body encoding