fix crash while loading truthdiagram