Hm. Looking back on it, this isn't quite right. Other things could cause the connection to close, and we'll want to make sure that we're actually closing because our known-bad notification was rejected. I will think on this.