Corrected glitch that seems to have mysteriously caused old version of file to get checked in, and fixed raw docstring handler.