Yet more additions to 8b7f1eca4fa7b1d8f870b9c85586a4ff2674b0d6.

In the previous commit I overlooked a `SessionEOF`.