remove out-of-date FIXME