Fixup to d74c197.