Python: File Docstring