Fix mistaken setting of __doc__