Fixed style-issue.  We don't like "// comments".