Make travis happy