Copyright header and module docstring?