Remove stray // from ddoc.

A trivial fix to remove an ugly stray // from the html output.