Update mined1.rst