Fix a minor issue resulting from #2935.#2949

drgrice1 wants to merge 1 commit intoopenwebwork:WeBWorK-2.21openwebwork/webwork2:WeBWorK-2.21from

drgrice1:bugfix/show-top-warn-pgcore-warningsdrgrice1/webwork2:bugfix/show-top-warn-pgcore-warningsCopy head branch name to clipboard