According to [fc0bd2a6] this change was supposed to be removed but never was. Let's do it now. This was also the only place where we used C++ comment-style.