Correct comment-syntax!