a few minor changes to the BasicCache