Wrong exception type thrown in WT_DB