make Travis happy