Remove forgotten FIXME