Update lab.rst