let's make Travis happy