Make travis happy?