DB4O bug correction