Fixação Apt retorna mensagem de erro sobre cabeçalhos de pacotes

Question

Eu tenho um servidor rodando o Debian Stretch que eu preciso instalar o PHP 7.1, que não está disponível nos repositórios padrão do Stretch, mas no Testing aka Buster. Tentei usar o apt pinning para adicionar os repositórios do Buster com uma prioridade mais baixa, para que os pacotes do Buster sejam instalados apenas quando eu especificá-los.

Eu adicionei o seguinte ao (de outra forma intocado) /etc/apt/sources.list :

# buster to get php 7.1 for nextcloud
deb http://ftp.de.debian.org/debian/ testing main 
deb-src http://ftp.de.debian.org/debian/ testing main

deb http://security.debian.org/debian-security testing/updates main
deb-src http://security.debian.org/debian-security testing/updates main

E criei um arquivo chamado 01-buster no diretório (de outra forma vazio) /etc/apt/preferences.d , com o seguinte conteúdo:

Package: *

Pin: release a=stable
Pin-Priority: 700

Package: *

Pin: release a=testing
Pin-Priority: 650

Agora, quando executo apt update , recebo a seguinte saída:

Hit:1 http://security.debian.org/debian-security stretch/updates InRelease
Ign:2 http://ftp.de.debian.org/debian stretch InRelease                  
Hit:3 http://security.debian.org/debian-security testing/updates InRelease    
Hit:4 http://ftp.de.debian.org/debian testing InRelease                  
Hit:5 http://ftp.de.debian.org/debian stretch-updates InRelease
Hit:6 http://ftp.de.debian.org/debian stretch Release
Reading package lists... Done                      
E: Invalid record in the preferences file /etc/apt/preferences.d/01-buster, no Package header

Outros comandos, como apt search php ou apt policy , retornam o mesmo erro.

Tenho 95% de certeza de que tenho feito o pinning no passado com sucesso com exatamente as mesmas configurações. Alguém tem uma ideia do que está acontecendo aqui?