user_doc forgot to add David to the group of authors.

Adding David to the group of authors.