This means that we can get rid of the previous line with special handling for `EOI`.