databases/db42: Fix