Remove an incorrect FIXME.