Fix #7; add Travis CI