small change in documentation header