Fix bug with db3 options handling.