filled in doc.py and contact.py

I think `user` is undefined here