Correction to code involving condp for #25
Correction to some code involving condp for #25