Use the correct comment syntax.

This fixes 7639513f94fe45b5202349d2891e46b2295606a0.

Change-Id: I512ca97d8b4fc8b7c48f03ab32d476bb3a791157
Reviewed-by: Pierre Rossi <pierre.rossi@gmail.com>
Reviewed-by: Zeno Albisser <zeno.albisser@digia.com>