Bug fix in box2d.