It have to be implemented differently, as bobobase_modification_time does not
reflect the fact that instance is indexed.