fix output filename in formats.coords.filter()