travis-ci fixup