Enable Travis CI to close #4