Small correction to pivoting