small change in DavePHCpackstuff.m2