Minor fix to comment syntax.