I think this kind of comment fails linting--comments should be of the form "<type name> ..."