fixup! Travis-CI integration