Make travis happier