Make Travis CI happy.