Bad GPG sig on guix .16.0x86_64

[Sebastian]

Hello, Developer.
I was intreged by the OS and decided to try it.
I noticed that the GPG sig was bad and thought I should let you know.
(or perhaps I did something wrong, let me know.)

Terminal:
address@hidden ~/Downloads> gpg --verify guixsd-install-0.16.0.x86_64-li
gpg: no signed data
gpg: can't hash datafile: No data
address@hidden ~/Downloads> gpg --verify 
guixsd-install-0.16.0.x86_64-li0.x86_64-linux.iso
gpg: Signature made Thu 06 Dec 2018 09:32:25 AM MST
gpg:                using RSA key 3CE464558A84FDC69DB40CFB090B11993D
gpg: Can't check signature: No public key
address@hidden ~/Downloads> gpg --keyserver pool.sks-keyservers.net \
                              --recv-keys 3CE464558A84FDC69DB40CFB09
                        
gpg: key 090B11993D9AEBB5: 124 signatures not checked due to missing
gpg: key 090B11993D9AEBB5: public key "Ludovic Courtès <address@hidden
gpg: no ultimately trusted keys found
gpg: Total number processed: 1
gpg:               imported: 1
address@hidden ~/Downloads> gpg --verify 
guixsd-install-0.16.0.x86_64-li0.x86_64-linux.iso
gpg: Signature made Thu 06 Dec 2018 09:32:25 AM MST
gpg:                using RSA key 3CE464558A84FDC69DB40CFB090B11993D
gpg: BAD signature from "Ludovic Courtès <address@hidden>" [unknown]