Add a FIXME and remove a diagnostic.
Fix ticket URLs.