Small tweakes in Pileup.atGreaterLocus()