Remove obsolete "FIXME"