Handle truth management bug described in issue #54.