We're green in Travis CI

This closes issue #5