fix a linting problem in the overview example