It is possible they didn't reset the codes...I think the computer has to see like 3 different startup cycles with the O2 showing normal before it will turn the SES off...if codes were just reset, you need to put about 100 miles or so on it, to get all the readiness test to complete. I replaced my battery about 100 miles ago & my HO2 & EVAP tests are still "not ready" ...but, I believe, pre 2002 can have 2 not ready tests, where newer can only have 1 not ready.
You could still have a code, some only light the SES on the 2nd failure, so you could have one, & the PCM is waiting for another before turning the light on....if you drive 100 miles, that should give you a good idea if it is cool or not.