Add a FIXME for a bug Doug pointed out in code review.