Trying to make TravisCI happy.