Re: a quick non-technical writeup on the Clipper chip -- corrections