Righty, need to run update again to remove the source.
BTW....
All the Ubuntu docs seem to be sudo this and sudo that. Is there a sensible reason for that or is it just because they're trying to prevent win-numpties doing rm -rf /
(mind you "sudo rm -rf /" works just as well, and that doesn't need the root password)