This copyright header is part of a doc-string, no leading # needed