When I type "apt-get upgrade" I get this message, and things stop: W: There is no public key available for the following key IDs: EF0F382A1A7B6500 I hope there is a simple fix.