make travis happy