Use // rather than * for section headers in the absence of real formatting support