Bugfix: Res#received_anchors may throw NoThreGivenException.