fixed a character in a comment that made Jenkins fail