On Jan 28, 2001, "John David Anglin" <dave@hiauly1.hia.nrc.ca> wrote: > bootstrap2-lean : bootstrap_lean > ^ Thanks, fixed thusly: