`}ProbName;` -> `} ProbName;`