Switched print >> stderr to more modern stderr.write() form.
Switched print >> stderr to more modern stderr.write().
Corrected glitch that seems to have mysteriously caused old version of file to get checked in, and fixed raw docstring handler.