Forgot to import SolveError. 2nd travis try - this time...