Mentioned the early-EOF bugfix (which was fixed a while ago).