makes travis happy?