Corected minor bug in p+1 factoring.