slightly improved doc-string