minor fixup to main header doc (per facebook usage)