fixup: make Travis happy