Try to make Travis happy.