BUGFIX: header documentation