Add a comment which will be found by the checking framework