Fix 'no' case in is-true