This shouldn't be necessary. We should not mix ``DBcursor`` calls with ``ReadDB``/``WriteDB``, but as long as we have closed the cursor first, we're fine.