Fix case in which `m.fully_read` marker would not get updated. Contributed by @SpiritCroc.