sudo corrected the proof, but the supplementary table did not. recently, i often say "i am tired". too bad. i do not need to say that.