1.0dev.34: fix two different bugs in alignment correction code for clipped reads