minor addition to DB coherence code