CI failing

Ben, Matthew I believe that 'master' fails validate. See Trac #16346. The question is: how did it get past CI? The bug would only show up if -dcore-lint was on for libraries. Simon