Correct some print statements, do not insist on sympy 0.7.1 anymore