Update p08.rst