remove some older cruft that I shouldn't purport to explain.