Correct transactional behavior