Remove stale FIXME