Change // to \\ for default arguments.

// are deprecated!