Change file header comments from /// to //.

Change file header comments from /// to // to eliminate nuisance warning.