Remove an obsolete FIXME comment