Weird. I haven't been involved with the shopping cart code at all. Maybe the file got moved from somewhere else.

Anywoo, like you said, no big deal :)