Changed debugging facilities in factor.cpp.