Removed C++-style single-line comments from a public header (thanks, Martin!).

  Fixes Bugzilla #1803.