Multi-line comment syntax is not used in many (any?) other places, so I think this should be turned into multiple single-line comments. But that's just my opinion :)