Minor tweak to get Pindel to work.
Minor tweak to get Pindel to work.

churchlab/millstone,woodymit/millstone,churchlab/millstone,churchlab/millstone,woodymit/millstone,woodymit/millstone,churchlab/millstone,woodymit/millstone