Weirdness with F-18 kernel release number