Found and documented a bug that violates the consistent-reads guarantee