fix typo in from_sympy