cosmetic in QCheck
bugfix in NPDtree