Fill in a long-missing comment marked as FIXME.