removed obsolete FIXME