kill obsolete FIXME