Eu tenho o mesmo problema.
O 7 vem de /etc/lsb_release :
DISTRIB_ID=Debian
DISTRIB_RELEASE=7
DISTRIB_CODENAME=
DISTRIB_DESCRIPTION=
No entanto, parece que o arquivo /etc/lsb_release não existe mais em nenhum pacote, mas foi mantido de volta (não encontrei nenhum bug relatado sobre ele).
Então, apenas removemos:
rm /etc/lsb_release
lsb_release -a usará /etc/os-release , que contém as boas informações.