fix typo in proptestGC nontrivial to nonTrivial