The value of the <EOS> token has gone up since then.