Comment by ColinWright

It's "discussions" like this that ensure I will never write up the small mistakes I occasionally make, even if people might benefit from knowing about them.

If ever you make a mistake, never, ever write it up. It might get submitted here for everyone to tell you how stupid you were.