Fix minor Trilean bug.