maybe make travis happy?