bug fixe #7: Move docstring to the proper place