Minor linter fix