Fix minor problem with error messages produced by tools.