Make Travis happy.