An attempt to make travis happy.