Update doctrine.module.php