th01: Fix the erroneous references to the copyright and divide error strings

... I, um, don't know what's going on there. C++ class instances, maybe? At
least the code is largely identical in all three executables, so reduction's
going to take care of that.