remove outdated FIXME