Remove outdated FIXME