Remove a FIXME now that I can't reproduce the problem