Update doctrine.rst