minor corrections to partition algorithm draft