Excised spurious FIXME messages.